Ian Horrocks - PDFSEARCH.IO - Document Search Engine

Ian Horrocks
Results: 78

#	Item
1	A Comparison of Query Rewriting Techniques for DL-Lite H´ector P´erez-Urbina, Boris Motik, and Ian Horrocks Oxford University Computing Laboratory Oxford, England {hector.perez-urbina,boris.motik,ian.horrocks}@comlab.o Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
2	Exploiting Partial Information in Taxonomy Construction Rob Shearer, Ian Horrocks and Boris Motik Oxford University Computing Laboratory, Oxford, UK 1 Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
3	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Optimized DL Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, U Add to Reading List Source URL: ceur-ws.org - Date: 2010-04-20 14:40:19
4	FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk - Date: 2015-02-05 09:51:10
5	A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini Add to Reading List Source URL: www.hermit-reasoner.com - Date: 2012-02-03 12:06:02
6	Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi Boris Motik, Rob Shearer, and Ian Horrocks Oxford University Computing Laboratory 1 Add to Reading List Source URL: www.hermit-reasoner.com - Date: 2012-02-03 12:06:02
7	Ordering Heuristics for Description Logic Reasoning Dmitry Tsarkov and Ian Horrocks School of Computer Science University of Manchester Manchester, UK tsarkov\| Add to Reading List Source URL: www.cs.man.ac.uk - Date: 2015-02-05 09:51:09
8	Description Logics: OWL and DAML+OIL Phillip Lord, Robert D. Stevens, Carole A. Goble, and Ian Horrocks Department of Computer Science University of Manchester, Oxford Road, Manchester Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-12-15 11:14:30 Knowledge representation Knowledge engineering Ontology Information science Semantic Web Computing Knowledge Web Ontology Language Description logic Semantic reasoner Class Gene ontology
9	Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Mathematics Logic Mathematical logic Algebraic structures Model theory Z notation Topology S Set theory Lattice Ring Axiom
10	Optimising Ontology Classification Birte Glimm, Ian Horrocks, Boris Motik, and Giorgos Stoilos Oxford University Computing Laboratory, UK Abstract. Ontology classification—the computation of subsumption hierarchies for Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Information science Semantic Web Computing Information Cognitive science Resource Description Framework Web Ontology Language Knowledge representation Description logic Algorithm Ontology

UPDATE